A Re Blockinective Object Model
نویسنده
چکیده
Adaptability is an essential feature of future operating systems. In contrast to problem-speci c mechanisms, e. g. replication of les or migration of processes, this paper investigates a general, straightforward approach in an object-oriented environment. Adaptability is provided for all objects regardless of their type and the required type of adaptability, e. g. replication, migration, access control, fault-tolerance. It may be viewed as the adaptability of the infrastructure of an object and may be implemented by re ection upon this infrastructure. Re ection mechanisms supported by the base object management are incorporated into the BirliX system in an orthogonal way.
منابع مشابه
Hybrid Group Re Blockinective Architecture for Object-oriented Concurrent Re Blockinective Programming
The bene ts of computational re ection are the abilities to reason and alter the dynamic behavior of computation from within the language framework. This is more bene cial in concurrent/distributed computing, where the complexity of the system is much greater compared to sequential computing; we have demonstrated various benets in our past research of Object-Oriented Concurrent Re ective (OOCR)...
متن کاملHybrid Structure of Re ective Gait Control and Visual Servoing for Walking
This paper presents a hybrid structure of re BLOCKINective gait control and adaptive visual servoing [3] by which a vision guided legged robot realizes a re BLOCKINective walk. The re BLOCKINective gait consists of three steps: 1) select a leg to be lifted so as to increase the body stability, 2) move one of other legs to enable the selected leg lifted, and 3) move the selected leg. During thes...
متن کاملReasoning-conscious Meta-object Design of a Re Blockinective Concurrent Language
Computational re ection gives programming languages high exibility, which is useful for parallel/distributed programming. On the other hand, its interpreter based execution model makes e cient implementation di cult. Especially, meta-objects in concurrent languages are described with explicit state transition, which makes program reasoning|such as partial evaluation|di cult. In this paper, we p...
متن کاملImplementing Parallel Language Constructs Using a Re Blockinective Object-oriented Language
To provide various parallel language constructs, extensible languages based on re ection are attractive for both implementors and users. This paper describes our proposed meta-level architecture of a concurrent object-oriented language ABCL/R3, which has the following characteristics: (1) language customization through meta-interpreters and meta-objects, (2) delegation and inheritance mechanism...
متن کاملConcurrent Re Blockinective Computations in Rewriting Logic
Rewriting logic can represent dynamic behaviors of concurrent and/or reactive systems declaratively. Declarative descriptions in rewriting logic are expected to be amenable to analysis of interesting properties. The group-wide architecture based on the actor model is a speci c concurrent re ective computation model based on \group-wide re ection". It has a potential of modeling cooperative beha...
متن کامل